/NOWRAPAROUND/LMAR=50/TMAR=50/RMAR=1700/BMAR=1/PMAR=0/XLINE=0/FONT#0=NGR13/USETI=000000003*TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX**TEX*

␈β↓4␈↓ α	␈ε↓X
␈β↓C␈↓ ↓H␈ε↓r
␈β↓F␈↓ ↓l␈∧↓F↓lα↓"
␈β↓V␈↓ αa␈ε(A
␈β↓b␈↓ α{␈ε+k
␈βαε␈↓ ↓l␈ε%1␈ε9∀␈↓ α_␈ε+k␈↓ α)␈ε9∀␈ε+n
␈β∂*␈↓ ε:␈ε"1
␈β⊃∂/FONT#1=cmathx[XGP,SYS]=Xrr/FONT#34=cmr10[XGP,SYS]=11/FONT#37=cmr7[XGP,SYS]=11/FONT#40=cmi10[XGP,SYS]=AA/FONT#43=cmi7[XGP,SYS]=knn/FONT#57=cmsy7[XGP,SYS]=∀∀